EXTRA_DIST = logop_debug.h logop.h log_plan_gen.h query_debug.h query.h \
             sem_interp.h 
